pedantic is the best kind of pedantry.