Overview of the Hypothesis System