Up and Down the Ladder of Abstraction