add proof
unactive proof