Has anyone thought of a good long name for `y` other than the inherently confusing "public key" yet? "public value" perhaps?