F_1 を特別視するのは何かと面倒な場面も多いんだけどな