A note on generalising |Cmp| constraints.