Hypothesis selection implemented and specced