Rephrased spec