Because of the ambiguity in the specification, the major tool we will use to uncover the desired behavior is to walk through application scenarios.
Make sure we have uncovered all the intended uses.