See Laddering of Abstraction.