Here, should also check the right-hand versions of the operations, `dat2 <= dat`