r/u_Proof-Principle1393