subhypothesis

not defined yet