Some rule unification and simplification