Use x = Variable(n), t1 = Variable()