cake * happy - Proofs