Simplify {n-1-[n-1-(0 - 1)]​