David Brown wrote: > > Since I've never used a system with real Hoare semantics, I'm just not used > to determining the condition on the signalling side. To me, it puts the > logic in the wrong place. Same here. Sean