It’s very enlightening. Math was formalized for a reason. Now you don’t have to argue what something was supposed to mean and whether it is a correct or a false interpretation, eg: https://hsm.stackexchange.com/questions/6867/what-is-the-cor...