#x:left  != #x:right