u/Optimal_Proof_6