And maybe this problem wasn't something to be solved, but just a demonstration kind of the awesomeness of mathematics to show that with nine very simple statements, statements using nothing complicated, you can actually create a problem that describes a number utterly beyond comprehension on that is going to take 2000 years to solve.