proof manager both uf and array