確実にTだとは限らないんじゃないか