Dubay relies on a revenue estimate taken from the OMB Analytical Perspectives document on the FY2013 Budget. A table on page 261 a figure of $23.86 billion for 2013 from moving to a step-up basis.