It's more productive to concede a point of pedantry than to spend all day arguing about it.
- Es más productivo conceder un punto de pedantería que pasar todo el día discutiendo sobre ello.
He is what is called a pedant.
- Es lo que se llama un pedante.