Removing helpMeProve