Mechanized Memories (decensored)