“ prickning " , visserligen saknande omedelbar praktisk betydelse ,men