if there is no different between "pause" and "stop" then it introduces new jargon for no benefit.