Ce n'est pas fini tant que le $SLP n'atteint pas $1