Replaces proof with reference to original.
Updates copyright license and information.