Comment by lloeki

On this matter I'm not searching for excuses, I am reserving my judgement; all we have is a tweet with the counterexample. We don't know how the counterexample was built nor found. It's just not useful to speculate.