Jeśli twój protokół nie ma specyfikacji Quint, czy w ogóle istnieje?