Allow logical connectives over the empty set.