Added GlobalState tuple notation.