Tests for the code about the relations.
Added another diagram and lengthened the abstract.