macrohardaxiom