Rotating random trees implemented.