Adam Butler Team - Proofs