The philosophical principle that talk of multiple truth values in logics with logical matrices can always be reduced to two truth values (truth and falsity), that is, there are only two truth values. Named for logician Roman Suszko (1919–1979), this thesis reasserts the principle of bivalence for many-valued logics by conflating membership in a set of designated values with truth and non-membership in with falsity.