The same thing I said about using free symbols above applies here, too.