sa:discussion:en:logical_connectives