Rewriting Powers of i - Ex 2