use* names abstraction