refactor current proof scope