Cobham's theorem establishes extensional equivalence, but extensional equivalence between classes do...