r/u_Proof_Lavishness_180