discussion:en:zh:definite_theory