for s being State of SCM holds s is State-consisting of <*> INT