en:definite_theory