Update pseudoformal.md