Added hypotheses to check