Description: Add two antecedents to a wff. Deduction associated with a1i13 . (Contributed by Jeff Hankins, 5-Aug-2009)