This is an Identity-constraint Definition.