Dieter: I do not believe that this page has substantial contribution to miai in the fuseki. What is good can be copied there, so that this page can be removed. Now, miai has two references, which are of different value.