$T(8001) またここに来る必要が？