Abstract Compositional Analysis Of Iterated Relations by Frederic Geurts