Is this the most efficient way of testing rootness?