further abstractions