u/Proof_Consequence_17