hypothesizes

not defined yet