[ge0ffclapp]

Formal analysis is how you solve problems. The part where you use it for control and abuse... is the dark side of humanity.

[morelisp]

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