⁹A new generated state $s_2$ (possibly with variables) is folded into a previously generated state $s_1$ (possibly with variables, different from those of $s_2$) if $s_2$ is an instance of $s_1$ modulo axioms and variant equations.