POPL_Tutorial_Sequent_vs_Natural_Deduction__Solution.elf