E 12 -- a is undefined