#abstractions