series,Committed update step,Reachable ordered pairs
Positive set closure,0,5
Positive set closure,1,4
Positive set closure,2,2
Positive set closure,3,4