proof design

May 29, 2012