That grammar simply matches 2^(n-1) a's. Not mind-boggling from that point of view