If two soccer teams score the same number of goals in one UCL final during both regular and extra time, they need to play the penalty shoot-out.
∀x ∀y (SoccerTeam(x) ∧ SoccerTeam(y) ∧ SameScore(x, y) ∧ During(regularTime) ∧ During(extraTime) → PlayPenalty(x, y))