r/u_Proof_Pattern_3745