zh:discussion:sa:indefinite_theory