Om ditt protokoll inte har en Quint-specifikation, finns den ens?