از درخواست نامطمئن تا گام بعدی تاییدشده.

نتیجه را روشن می‌کنیم، ریسک‌ها را نام‌گذاری می‌کنیم، کوچک‌ترین proof مفید را می‌سازیم و سپس production path را انتخاب می‌کنیم.