My boss decided to double-check the counter-examples I found several
months ago, and that I'm going to report during a conference in
September. Not only he did that, but he wrote a Python script for
it:) That's amazing. I mean, the last time I had a code-writing boss
was more than five years ago.
