Якщо ваш протокол не має специфікації Quint, чи існує вона взагалі?