Already defined above.