Formal Memory