THEN(a, b, c, s1);