zh:definite_theory