Proving properties about memory.