File "stdin", line 3, characters 7-10:
Error: Not a negated primitive equality.