formal reasoning

  1. REDIRECT Reason