add conjunction and disjunction