It is also possible to address the problem from quite a different direction. One does not question the necessity of mathematical truths—the issue is an epistemic one. And for this, it has long been noted that a Hintikka-style treatment of knowledge does not deal with actual knowledge, but with potential knowledge—not what we know, but what we are entitled to know. Then familiar logical omniscience problems arise, and we have just seen yet another instance of them. A way out of this was introduced in Fagin and Halpern 1988, called awareness logic. The idea was to enrich Hintikka’s epistemic models with an awareness function, mapping each state to the set of formulas we are aware of at that state. The idea was that an awareness function reflects some bound on the resources we can bring to bear. With such semantical machinery, we might know simple mathematical truths but not more complex ones, simply because they are too complex for us.