String-Vacuous Rule Application