Revert "We did not add p700"

This reverts commit 2d5e972390e29535a8d98e4179bee33a63dde67c.