Welcome Sweet Baby "O" -Proofs