root always exists