u/Formal-Physics2542