Abstraction inversion

From Wikipedia, the free encyclopedia