Nếu giao thức của bạn không có thông số kỹ thuật Quint, liệu nó có tồn tại không?