Direct_proof loading ...