Boolean-valued_model loading ...