added a figure that shows transition from transitive closure to bounded SKS