- According to CLTL 0^I is undefined, 0^(I+epsilon) is 0 and 0^(I-epsilon)