"unnormalized normal" is one of the more bizarre names I've heard