 Instead of saying that a \(j/i\)-variant of a proposition \(s\) is true or false (or that it is a true or false variant of \(s)\), Bolzano prefers to say: j macht s hinsichtlich i wahr bzw. falsch (cf. e.g., WL II, 79, 113 ff.), i.e.: \(j\) verifies or falsifies \(s\) with respect to \(i\) (or, more literally: \(j\) makes \(s\) true or false with respect to \(i)\).