Removed part of a remark in axiom_2; need to study this more.