Osaro Proofs