brun -n '(not (q . 1) (q . 1))'
FAIL: not takes exactly 1 argument (1 1)
