abstractions: