Title: Natural abstraction