Good puzzle, thanks. What if black plays 4...Ke1. If white keeps the oposition with 5.Kg1 then black can play 5...g4 and white can't prevent black's promotion. I lost to this against Rybka trying to keep the oposition in this case, duhoh! It's the main line of the game segment inserted here. Rybka showed me that in this case white needs to make a pawn break at the right time. That's the variation. Good puzzle. Thought provoking on a tricky opposition, at least at my level. Thanks again.
A Dvoretsky Endgame Puzzle

<erikido23> is correct, and many thanks for the back-up! Yes, 7. g5 instead of 7. Kf2 (which technically does nothing productive) leads to drawn QvQ endgame. White gets to check first, but has nothing decisive.
Another puzzle from the manual. Please ask any inquires in the thread and I will be happy to answer them to the best of my ability.