New TACO and lhs variablizations!!