Classical abstractions