Domain abstractions.