fix prove helper