pedantry of the highest order