Names reduced, too redundent.