Boolean-valued_semantics loading ...