Law_of_bivalence loading ...