better to use watch and expectMsg (especially since isTerminated will go away)