Finite-valued_logic loading ...