fixed hypotheses