For it may be (a) that they have unilaterally verifiable consequences (purely existential consequences, or there is consequences) or (b) that they are themselves consequences of unilaterally falsifiable universal statements (allstatements).