よく知らんけどアディショナルタイムなのかロスタイムなのか、どっちかに統一してくれ