Notes on Abadi2009, Snow2013, and Tamassia talk