<> <> DIRECTORY Thrush USING [ ConvEvent, SHHH, unencrypted ]; ThSmarts: CEDAR DEFINITIONS = { <Smarts communication is entirely advisory, and entirely through calls on Progress. This is further described in the ThParty implementations.>> Progress: PROC[ <> shh: Thrush.SHHH_Thrush.unencrypted, convEvent: Thrush.ConvEvent ]; }.