you should probably make the `free_symbols`-> `args` here, too