Fitch-style calculus

  1. REDIRECT Fitch notation

{{R from move}}