Logical_argument loading ...