Natural Deduction for Two Connexive Logics.