Seol mar théacs é seo: The Meaning and Implementation of SKIP in CSP