irreversible procedures