Micael December 2017Micael Proofs