Fall2011_proofs - elisif