This argument allows us to discuss specific features of the model that we may otherwise miss—for example, a bound on a "specific" increasing sequence "c" can be expressed as realizing the type which uses countably many parameters.