 A proposition \(s\) is universally valid (or universally contravalid, respectively) with respect to a sequence i of ideas iff there is a propositional form \(F\) such that \(F\) is a propositional \(i\)-form which is universally valid (or contravalid, respectively), and \(s\) is a member of \(F\).