Also, the unsolved P vs. NP computer science problem prevents accomplishing this. Thanks so much for reading this article :)