hi:zh:indefinite_logic