What is abstraction anyway? - 8th July, 2017 Ad-hoc Frame Conditions are Logical, Separately - 9th November 2015 Imperative Reasoning is Hard - 13th November 2013