un-redproof abstract and introduction