Formal resignation.