Raylin Proofs