committing an unfinished proof so I can get some help