it’s fun to be pedantic