Additional comment: if somehow in time.

Here is another comment, on variables:

In 2.4.6 b (this is workunit section) and elsewhere, there are
several sentences which can be read as if "cdL:getVariable" can
be performed to obtain a variable from any other role, resulting
in fetching the value of a variable at a remote site. In 2.4.6b
we find:

    ...the guard condition checks if the Variable "StockQuantity" at
    the "Retailer" Role is available and is greater than ....

If in the given workunit, an action by Seller is done and it
is Retailer's datum used for guards, then this results in a remote
read.

Claritication of this point during the final inspection period
will be useful.

kohei