Proof patterns. (2015)