Some axioms about memory. Some renaming.