(and #x:left  #x:right)