some function this big class in X it doesn't have circuits all that kind whatever it is that we prove this circuit settling for okay and the second step is just design the element now this is just an in conditional sort of thing so just we can prove for many interesting certain classes ones will renew no lower bounds whatsoever we can solve the SAP problem faster than exhaustive search and then plugging that into the above connection you get lower bounds for them so you can improve over exhaustive search in some