Local Variables and Puzzle State