Paraphrases of belief ascriptions using sentential operators (e.g., Quine's 'believes-true') elimina...