Their framework enabled tractability distinctions (P vs NP) that remain useful despite ignoring cons...
This proposition has not been edited since the history system was added.