I messed up, there will be no proofs, pass by