A proper theory of names