Ruby and Breezley Proofs