[nanis]

I didn't dig deep. It doesn't matter if the correct number is 40,000 or 80,000. The argument remains the same.