>need to control an exponentially bigger group
This is apparently supposed to be difficult...