for S being State of SCM
for s, s1 being State of SCM+FSA st s1 = s +* S holds
s1 . (IC ) = S . (IC )