The failure detection is totally informal and has the one property that finally all the nodes will agree on the failure: both the vast majority of nodes will mark it as failing ensuing into a series effect that may pressure all the opposite nodes to.