if the following are true:

• Expression Stack at time t = [ [ ], [ [ Python list elements, ys ], rest ] ]
• Value Stack at time t = [ values, [ next_level, other_levels ] ]

then Value Stack at time (t + 1) = [ [ Python reference (length of stack (Python Object Store at time t)), next_level ], other_levels ]