sa:logical-connectives