Compaq Redux: Implicit Taxes and the Question of Pre-tax Profit