(or #x:left  #x:right)