Logical_constant loading ...