bivalencies

not defined yet