One might argue that the composition of higher abstractions is the next token predicted after "here is a higher abstraction:"