Logical_consistency loading ...