 | This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
In the diagram, I believe that an arrow should also point from "analytic tableaux" to "Gentzen without cut" as these are equal in strength. Currently, the diagram is misleading since it seems to imply that "analytic tableaux" are strictly weaker than "Gentzen without cut". I do not feel comfortable making this change as I don't know how the diagram is drawn. 150.203.212.213 (talk) 22:46, 1 April 2014 (UTC)