The male elephant at the city zoo weighs 8,000 pounds, which
is the same as 4 tons. The female elephant weighs 7,000 pounds.
How many tons does she weigh?