pull down to refresh

Any invention can be NP reduced to a discovery.
Inventions are recursively enumerable. Any paper corresponds to a natural number, including Satoshi's. He discovered a good one.