because one important difference between judges and compilers is, judges are generally clever enough to screen out technically correct exploitations of egregious edge cases