To put in the nutshell, my point is that dag rewriting is better than graph rewriting as `base&#39; of pure functional programming languages without manual proofs.<br>