I don’t even think it makes sense to call one person leaving a resignation. Seems more like “exit” or “leave” is more accurate. In fact, if it’s implemented, I would expect the UI to say something like “benjito has left the game” rather than “benjito resigned”