actually did the reasoning and you could study it then there's no telling what we could we could learn about computation that way and so lower balance to me are one of the great scientific mysteries of our time there are conjectures about them everywhere ok Internet security relies on them being true but knowing them for sure is mostly inaccessible to us ok so so yeah this is just a great mystery why is easy computation so hard to understand okay why are lower bound so hard to prove well why are we so stuck here so