How does this relate to free symbols? Both of these have the same free symbols (empty).