add finite domain examples
correct hyperlink