Logical necessity

  1. REDIRECT logical truth