PERFORM'ED, pp. Done executed discharged.