Idea.
...
"/" before ordered choice (completed).
Delete redundant local variable.