a root is guessed in a small modulus, then lifted through thicker rings. every successful digit exhales a larger circle of certainty.