"No no, that's only why I know of it." Harold shakes his head briefly. "Are you familiar with Plato's theory of the cave? It seems their whole religion is based off it. The idea is that mathematics could be used to prove it... which is not actually possible, but that's what makes it a matter of faith."

He is eating between pieces of exposition, but he wasn't actually all that hungry, which is good because Harold is far more absorbed in his thought process here than the food.