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