wuncidunci comments on An angle of attack on Open Problem #1

[wuncidunci]

PAK proves all which your PAT does, but probably not the other way around.

I think this bit is all that’s strictly necessary in the proof though.