Re: what does __leave do?