Finished abstractions.