← CCS(LEAVE) RULES