(a < b) & (a > b) = a = b
+-+-+-+
|a|b|R|
+-+-+-+
|F|F|V|
+-+-+-+
|F|V|V|
+-+-+-+
|V|F|V|
+-+-+-+
|V|V|V|
+-+-+-+
