Consequence operator

  1. REDIRECT Closure operator