TestingHypothesis refactor