XXPERFORM'ED, pp. Done; executed; discharged.