When a player leaves, it means all the parties involved took this decision.