**🥃 Liberal Librarian 📚** @[email protected] · Dec 18, 2022, 17:29

**🥃 Liberal Librarian 📚** @[email protected] · Dec 18, 2022, 17:29

🥃 Liberal Librarian 📚 @[email protected]

Messi > Maradona

**Rational Left** @[email protected] · 2022-12-18T17:31:10Z

Rational Left @[email protected]

@LiberalLibrarian Do they not resolve a tie with penalty kicks in the final?

**🥃 Liberal Librarian 📚** @[email protected] · Dec 18, 2022, 17:32

**🥃 Liberal Librarian 📚** @[email protected] · Dec 18, 2022, 17:32

🥃 Liberal Librarian 📚 @[email protected]

@RationalLeft Only if it's still tied after both halves of extra time are done.

**Rational Left** @[email protected] · Dec 18, 2022, 17:32

**Rational Left** @[email protected] · Dec 18, 2022, 17:32

Rational Left @[email protected]

@LiberalLibrarian How long is extra time with a tie?

**🥃 Liberal Librarian 📚** @[email protected] · Dec 18, 2022, 17:33

**🥃 Liberal Librarian 📚** @[email protected] · Dec 18, 2022, 17:33

🥃 Liberal Librarian 📚 @[email protected]

@RationalLeft 30 minutes. There are 7 minutes left.

**🥃 Liberal Librarian 📚** @[email protected] · Dec 18, 2022, 17:33

**🥃 Liberal Librarian 📚** @[email protected] · Dec 18, 2022, 17:33

🥃 Liberal Librarian 📚 @[email protected]

@RationalLeft So: 90 minutes regulation; 30 minutes extra time if tied; penalties if still tied after extra time.