simplify: t-[t-(1+t)]

t - t +1 - t = -t + 1