still don't know too much about the limits of computers so how can algorithms help prove lower bounds so this is just in general a direction I would like people to think more about what kinds of algorithms could help to lower bounds because if we can set things up in this way then the lower bound problem does not become so intimidating anymore it just becomes the problem of designing the right kind of our something that we have done as computer scientists for many years and then how can lower bounds help design