Detailed example of conclusion usages

[Michiharu Kudoh <KUDO@jp.ibm.com>]

In the minutes of F2F in Ottawa, 
>Michiharu has asked that other detailed examples
be posted to the list.

If the detailed examples have been posted
on the list, please give me the pointer.
If not, I would like to know them.

Best,
Michiharu Kudo