As I said, his injury and time under Simeone has done him no good so far. Bad decision on his part going there, but also, he wanted out of Benfica and the only option was Atletico (only team able to pay clause) so he accepted that.
I think, hearing on podcasts and through Sam Lee, City's offer was below his clause and around €80-90m. He fits the false 9 player we've been looking for, would have played a lot of games centrally, and Jesus/Sterling would have been wide players. But if Aguero was fit he would have played just behind him and Jesus of alongside Aguero in a 2. Lots of options. All hypotheticals now obviously.
Be interesting to find who City see as their backup after Messi, if it is to be believed, as Sam Lee said. My guess is Felix, but I could be wrong.