Non è finita finché $SLP non raggiunge $1