changes in simp rules