@peterrowlett I'm going to be pedantic! Things become less true when we generalise axioms, e.g. anything following from the parallel postulate