Some small abstractions