Mandatory Constraints