"Resigning" and "quitting" are the same thing. I think we should take the text of the filing literally.