Fix an n+1 in proof tree generation
Fix another n+1 ... kindof