Muddle with progress and organization.  Add some \qed's and \thmref's.