You don't need the `free_symbols` part any more.