Links for hypothesis-typed