File:TheoryPDA 7.png