Miller holds a full no-trade clause which gives him control on what happens next, while Pettersson has no such trade ...