let choose s = fst (root s)