 The availability of abstraction principles meeting these conditions may be exploited to yield an account of the distinction between abstract and concrete objects. When ‘\(f\)’ is a functional expression governed by an abstraction principle, there will be a corresponding kind \(K_{f}\) such that: