load(graphs)$ g: random_tree(10)$ is_tree(g); true draw_graph(g)$