Provided a variable with a fresh name (updates #52)