This quickly produced video shows why we do formal verification. Don’t do this at home (or work). I did not figure out this trick; I theorized it might be possible, but somebody else found it out. http://youtu.be/14s1mCg2kXg https://westergaard.eu/2012/10/why-we-do-formal-verification/