Intensional contexts like belief reports are handled computationally via extensional surrogates such...