brun '(not (q . (1 2)))'
()
