Sentencias de la forma "x cree que..." son ejemplos típicos de sentencias que no son funciones de verdad.