bigger hyp and gentr def