A free lunch proof for Gray versus Binary encodings | Synapse