boolean connectives now considered binary operations