verifiable hypotheses