Proof Sheets from 2006 May Workshop