ADDED: Boolean conjunction and disjunction.