Onza FinalOnza Proofs