thanks. According to the protocol, Ping messages are only used for finding new neighbors. By liveness probling, I mean maybe the peers need to be knowledged if one or all of its neighbors are gone (for example, leaves or fails). Does such liveness checking incur a lot of system overhead?