proof manager