Rewrite the freestanding RFC