Our First Proof submissions