getting started with hypothesis.