A theory of abstraction.