Structures and Abstractions