Proofs from Lufabill