プロトコルにQuint仕様がない場合、それは存在しますか?