docs: protected final void fireMemberLeft(AgentContext leftContext) {
  		final EventSpace defSpace = leftContext.getDefaultSpace();
  		defSpace.emit(
  				// No need to give an event source because the event's source is explicitly set below.
  				null,
  				new MemberLeft(defSpace.getAddress(getOwner().getID()), getOwner().getID(), getOwner().getClass().getName()));
  	}