Implement leave.