What's the duplication for? The same is defined above.