For him, the derby began in the summer of 2023, when he seemed destined to join Milan. Then came Porto’s about-turn and his arrival in Milano, on the Inter side, a year later on a free transfer.