Comment Comment by nightcracker The clause is impossible to apply period. It's undecidable. parent nightcracker 6 years ago