% classical natural deduction
-static natded.elf
-static classical.elf