bivalence

not defined yet