subhypotheses

not defined yet