what does __leave do?