Continued to add to proof