Además el razonador nunca tendrá la falsa creencia que S es verdadero.