extract proof