Domain Integrity Constraint Example Math