Unify types of rule one and two with three and four