Oh, awesome, thanks for the replies! All right, now it comes to make more sense, esp. since we are defining the unity within the first expression to be the identity function. Which makes it actually valid. Cool, thanks for the help.
As for the power series, yeah, that makes sense, didn't even...