I thought about this and decided that it wasn’t a good enough message for when you loose the lock.
Because DOWN
message from the lock process terminating will stay in the mailbox until a receive is called work is not automatically stopped on loosing the lock