If one follows the justification logic approach one might say, of \(1 + 4 = 2 + 3\) or some more complicated mathematical truth, that it is knowable but too hard for us to actually know. That is, the justification terms embodying our reasons for this knowledge are too complex for us. This follows the general idea of awareness logic, but with a specific and mathematically useful measure of the complexity of our awareness.