Revise intro to spec