Mechanized Memories -in the end-