3 ms·

Formal analysis is how you solve equations. If all your problems are equations you're living a very simple life.