←
CCS(LEAVE) RULES