Hannah - Proofs