untested body for notifyLeave - replication methods should be implemented