Hi Crista:

I could not quickly find in your thesis a discussion of what kind of
synchronization is not easily expressed in Cool. On which page is it?

When will you come to Boston?

-- Karl