It could raise the quality of discussion in the future if it discourages people who nitpick definitions from doing it again.