hi:discussion:sa:logical-connectives