Proveit2 is the wrong name - change to proveit