discussion:zh:definite_theory