He didn't even resign, he asked for PTO until the end of his mandate (December 10).