Cryptographic hardness *is* a necessary logical limitation when operating within bounded computation...
This proposition has not been edited since the history system was added.