In light of the comments here, should this be changed as well to use `free_symbols` while we are at it?