Atlas Shrugged and the FAIRtax