Proof Labs: Ruby