substitution system

  1. REDIRECT Rewriting