Property: (right/left) coherent