lollyPop Proofs