Tag: five sets of substitute rules