Navn er for så vidt praktisk, men det morsomme hadde kanskje vært noe mer "internt" - gjerne noe som ikke gir mening for andre...
