The more boring answer correctness is testable. If I present a proof that two equations are equal, you don't have to trust me. You can try some values and see i

The more boring answer correctness is testable. If I present a proof that two equations are equal, you don't have to trust me. You can try some values and see if they work, look for a contradiction, try to produce your own proof, or any other test you can think up.