New PDF proof is all we need