all rules for lab1