zh:indefinite_theory