Sure, but then it comes up once in a while, and their session is ruined.
In programming, corner cases are still bugs.
While not valid as a source of empirical evidence under normal circumstances, he was insisting that it simply never came up. {k !E in set A} is proven wrong by {k E in set A}. Also, SMBC is awesome.