brun '(logior () ())'
()
