Crypto proves that names are unnecessary anyway