File:TheoryPDA 6.png