renamed main rule