finite clause

  1. REDIRECT Clause