summed rule and adjacency matrices, implemented iterations