Trivalent_logic loading ...