in search for the next abstraction