Induction scheme for lroot_valid.