Necessitation Rule
   HOME
*