Start rework of synopsis.
Complete synopsis update.
Rename actual_order to effective_order. We don't know the actual order. Simplify an expression.
Semantics complete.