Richard, you would be correct. I studied accounting years ago. Gross Profit is 20 000. Net is 15 000. They would be taxed on the 15 000.