Pedantry (but accurate pedantry)