hypothesize

not defined yet