Will be inlining the production of the initial state as discussed above, redundant parentheses will be removed.