cases and so far this is kind of the only way we know how to prove certain lower balance is through the design of the right kind of set over all right so I'd like to conclude with the following challenge so how do we become smarter about computation so the outsiders it may seem that we already know maybe too much about computation like computers are getting smarter and smarter than us all the time yet from the theory level we actually don't know precisely how powerful that we are understanding this is really coarse so the dirty secret we