+support for binary logical connectives