Updated expired proof