Rayo explora la idea de que aceptar o rechazar enunciados just is ayuda a definir el espacio lógico, y formaliza cómo los diferentes compromisos lógicos y metafísicos influyen en la estructura de la realidad.
Rayo también explica cómo los enunciados just is pueden utilizarse para determinar la verdad de afirmaciones modales.
Defiende el platonismo trivialista: una variante del platonismo matemático de acuerdo al cual las verdades matemáticas pueden reducirse a afirmaciones triviales (por ejemplo, "Para que el número de dinosaurios sea cero, basta con que no haya dinosaurios").
También discute la semántica trivialista, que busca definir la verdad matemática en términos de enunciados just is.
Rayo defiende un enfoque que trata el conocimiento lógico y matemático como un logro cognitivo, argumentando que los enunciados just is pueden servir para cerrar la brecha entre los objetos abstractos y la cognición humana.