Αποστολή με SMS: Abstract Compositional Analysis of Iterated Relations