Գրեք սա: The Meaning and Implementation of SKIP in CSP