Double definition.