 \(s\) is analytic with respect to i iff \(s\) is universally valid or universally contravalid with respect to \(i\); \(s\) is synthetic with respect to i iff \(s\) is not analytic with respect to \(i\).