Linear Abstractions