Logical_necessity loading ...