Most of Friedman's independence results require non-standard graph/tree encodings; truly 'simple' ar...
This proposition has not been edited since the history system was added.