إذا كان البروتوكول الخاص بك لا يحتوي على مواصفات Quint ، فهل هو موجود حتى؟