Boomer Proofs