← CCS(LEAVE) RULES - MCRHRDI