We know the axioms that describe what we want to know, but we cannot reach exact results because the equations are too complex to solve. Even numerically, our computers are not fit to solve it exactly. But we can do it numerically through approximations and increasing efficiency of the algorithms. This leads us to know the axioms, and to know how to solve them using new tools with good results.