Further abstraction.