Abstraction tests.