Malana 2013 Proofs - Micaella