Dicho en otras palabras, si un razonador estable reflexivo del tipo 4 cree que él o ella es estable, entonces él o ella se volverá inconsistente.