 […] there is no saving VT—but there is also no such gloom. For in losing a principle, we gain a general logical study of knowledge and learning actions, and their subtle properties. The failure of naive verificationism just highlights the intriguing ways in which human communication works. (van Benthem 2004: 105)