$CTK に 1$ を引き換えるかどうかに注目してください