Upcoming: Three Kinds of Abstraction