Abstractions and tests.