City signed Ruben Dias in 2020, but things could have turned out differently.