could use magic names