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.
Time person of the year 2006, Nobel Peace Prize winner 2012.