Witness for Hubert K. Lee's final proof.