La expresión opcional "STEP" se evalúa después de cada iteración, antes de decidir si se debe realizar la siguiente iteración.