https://9lib.org/document/oy85pn2y-view-of-on-justification-in-mathematics.html