hypothesis
not defined yet