THEN(s1);