Gerald - Proofs 2018