The full-time whistle at the Estadio do Dragao on Saturday night signalled the end of Manchester City's Champions League dream — for now at least — and the start of a summer of soul-searching at the Etihad.
What can Pep Guardiola do to turn City into European champions? Because, make no mistake, that was the ultimate goal when he was brought to the club in 2016.
A two-time winner as coach at Barcelona, Guardiola's spell at Bayern Munich was viewed as a disappointment after he came up short in Europe.
That could never be the case at City where the Catalan has delivered 10 trophies in five seasons and influenced the way many teams play in the Premier League.