  Then, if we identify Val(L) with its image in C(L) under the coding map, we shall interpret the statement “Val(L) is definable” as the statement “Val(L), regarded as a subset of the domain of C(L), is definable in C(L) by a formula of L.” 