In RM definition mindset, a subtype can actually benefit from domain
constraints that are *independent* and *additional* to the one of the
supertype. In OO however any inheritance mechanism forces a
constraint to be either from supertype or some predetermined
supertype: that is lethal.