Add an abstraction on the variable name. Test it.