Added references between the hypothesis paragraphs, the spec and the implementation