more additions to proof