The claim assumes FO inadequacy on unordered structures without distinguishing between natural query...
This proposition has not been edited since the history system was added.