brun '(lognot)'
FAIL: lognot takes exactly 1 argument ()
