hypotheses
not defined yet