Rephrasing specs