. . "If s is a variable we simply applythe de???nition of replacement to get s??)??t,c = s(????t,c )." . .