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