IsA
トートロジー