Implement LEAVE and added design doc