working on :disjunctive-preconditions