Email Record: Abstract compositional analysis of iterated relations :