pub fn leave()