Parameterised State

Properties, PseudoRandom numbers