hyps
not defined yet