A general mathematics of names