hi:discussion:sa:indefinite_theory