Abstractions, abstractions