Este estado también aparece en S(3) y S(1), que son sentencias completas.