Nunca han sido publicadas y el manuscrito está oficialmente disponible sólo en una copia en la biblioteca de la universidad, que no puede ser copiada o citada sin el permiso de Kripke.