Some etymologies