Jace Oni-Con Proofs