Special:EditPage/Normal form (natural deduction)