protected void ReceivedTerminated(Terminated t) { if (!_state.ContainsTerminated(t.ActorRef)) return; _state = _state.RemoveTerminated(t.ActorRef); // here we know that it is the SAME ref which was put in ReceiveMessage(t); }