brun '(logand () ())'
()
