 S is indirectly verifiable if and only if S, perhaps in conjunction with other sentences P, Q, R,… logically implies a directly verifiable sentence D that is not implied by P, Q, R,…. Furthermore, these sentences P, Q, R are each either analytic or directly verifiable.