brun '(logxor () ())'
()
