working more on correct prove usage