Is that not just C+++? When the gc and allocation gets fixed we'll end up with C++++? Then don't we have D = C^n for some n? Does this hold for negative numbers? Complex numbers?