you can remove the tuplization here and let vars be a set