Renames logical rules