Messi > Maradona
@RationalLeft Only if it's still tied after both halves of extra time are done.
@RationalLeft 30 minutes. There are 7 minutes left.
@RationalLeft So: 90 minutes regulation; 30 minutes extra time if tied; penalties if still tied after extra time.
@LiberalLibrarian How long is extra time with a tie?