so MemberDowned is always published before LeaderChanged?