Levin's average-case framework assumes specific input distributions; results don't apply outside tho...
This proposition has not been edited since the history system was added.