pred-and finally done