We have two attributes. The first, SPROB, is defined on the STATES set and is used to store the steady state probabilities of the system. We will be solving for the values of the SPROB attribute. The second attribute, TPROB, is defined on the two-dimensional set SXS and is used to store the values of the state transition matrix.