"ladder of abstraction"