. "A belief is a function" . . .