Logical_realism loading ...