Successor tasks and conclusion

The following four arrows are outside the measurement theorems. They are stated as extensions of scope, not as claims that every abstract operator-existence subquestion is mathematically undecided.