For now, have to test equality between variables. But we could make them like symbols and only test references.