Final VersionWilliamsProofs