Before revision: This is because 'believes' is typically an intensional context .
After revision: This is because 'believes' is typically an intensional context