Added lab4 ruleset