hypothesis and generators