Existence, truth, and provability | lit.salon