sa:indefinite_theory