brun '(logior)'
()
