substitute(a)