Allen checks out his calculations.