FOLfall2012_PDF_proof