Oneal proofs