Characterizing the separation problem as 'open' smuggles a verificationist assumption—that truth tra...