Semantic pedantics and the developers who love them