p2sC authenticated-surface proof: paste created.