如果你的協議沒有 Quint 規範,那它真的存在嗎?