proof_original is not found!