strengthen hypo for restrict-sub-tp