scrapping nearly complete proximal proof to refactor