Tweaks to Axioms