Manchester City have announced the signing of Ruben Dias from Benfica.
The Premier League outfit have paid £65m for the Portuguese centre-back, who has signed a six-year contract with his new club.
Nicolas Otamendi has moved in the opposite direction in a deal worth £13.7m.
"Ruben is a player we have admired for some time and we have been impressed with how he has progressed at Benfica," said City's director of football Txiki Begiristain.
"He has developed into a real leader and as a defender, he has all the attributes we are looking for. He is strong in the air, good in one-v-one situations and technically, he is very good, so we are confident he can thrive in our system."