this is what I'm going to talk about okay so so I have a very high level very high level here's the specific kind of connection that I'm going to talk about so suppose you have there exists some non-trivial circuit analysis our okay so think of this is just some albums some fixed program maybe a Turing machine what have you it receives as input some circuit encoded in some nice way some logical circuit and for all logical circuits it can do the some kind of non-trivial analysis on this thing let's say it can determine whether that this