公式が解釈違いって進撃から生まれたんじゃなかったっけ?