@partytrout: Proofs in the