hi:logical-connectives