fumy, the proof of PMs now is no different than the proof of PMs they showed 16 years ago. If you take their proof in context and apply logic then their supposed proof of PMs is actually proof of no PMs.