updated simp5 rule
updated simp6
updated simp7