hi:discussion:zh:logical-connectives