A known truth has as its parts ("Bestandteile") a truth in itself and a judgment (Bolzano, "Wissenschaftslehre" §26). A judgment is a thought which states a true proposition. In judging (at least when the matter of the judgment is a true proposition), the idea of an object is being connected in a certain way with the idea of a characteristic (§ 23). In true judgments, the relation between the idea of the object and the idea of the characteristic is an actual/existent relation (§28).