variablizations