Ruby/Breezly Proofs