Unifier

  1. REDIRECT admissible rule