Otamendi instead of Mangala would imply signing a squad CB for less money rather than an instant starter. Several papers saying that City (and the scum) want to sign both, rather than just one of the two.