Added conjunction and disjunction.