抽象XPデーは国民の祝日である必要があります。