nt

-- Helpful constructors (apply 'and', apply 'or', etc)
aand t1 t2 = (Apply (Apply (Constant "∧") t1) t2)
aor t1 t2 = (Apply (A
aand t1 t2 = (Apply (Apply (Constant "∧") t1) t2)
aand t1 t2 = (Apply (Apply (Constant "∧") t1) t2)