Logical_proof loading ...