Principle_of_bivalence loading ...