Porto have agreement with Milan’s Gimenez but situation depends on Roma