hi:discussion:la:zh:indefinite_logic