Pfs write proof by