 S is directly verifiable iff either S is an observation sentence or else S, perhaps in conjunction with other observation sentences A, B, C,…, logically implies an observation sentence that is not implied by A, B, C….