Bivalent_logic loading ...