working hypotheses extension and verification