<> <> DIRECTORY Thrush USING [ ActionReport, ConvEvent, PartyID, 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 ]; ReportAction: PROC[ shh: Thrush.SHHH_Thrush.unencrypted, report: Thrush.ActionReport ]; <> <<>> Substitution: PROC[ <> <> shh: Thrush.SHHH_Thrush.unencrypted, convEvent: Thrush.ConvEvent, oldPartyID: Thrush.PartyID, newPartyID: Thrush.PartyID ]; }.