1 | 12. M([inr(i) / s]) < M(s) 13. 0 < d 14. the_obj.eacc
({s':traversal(the_graph)| M(s') d-1 } Vertices(the_graph)
{s':traversal(the_graph)| M(s') d-1 })
 {s':traversal(the_graph)| M(s') d-1 } Vertices(the_graph)
{s':traversal(the_graph)| M(s') d-1 } [inl(i) / (the_obj.eacc(( s',j. dfs(the_obj;s';j)),[inr(i) / s],i))] {s':traversal(the_graph)| M(s') d } | 5 steps |