Which neighbor-discovery message type is used to verify connecti