add a conjunction