"If the two things are a type" . . . .