Uniqueness and Mandatory Rules(Lab)