3 ms·But then the point of giving unique names to avoid using De Brujin indices is mootby SkiFire13 1y agoBut then the point of giving unique names to avoid using De Brujin indices is moot