Improved memory axioms.