FOR(s2).DO(THEN(a, b, c, s1));