Logical_validity loading ...