Text this: La aposterioridad de los enunciados necesarios en Kripke