Climbing the Ladder of Abstraction