Note: not yet complete! (We stupidly have two parallel lists for the variable names and values -- that should be changed.)