Update Reformulation.md