[anthk]

On these, you can define some paradoxes in compiler (lisp specially) by redefining predicates (functions that return either true or false). On most cases, it either returns an error, or spawns a debugger.