Logical_constants loading ...