Abstracted abstraction