discussion:la:zh:indefinite_logic