I will outline some aspects of the program (as it is presently understood) of proving circuit complexity lower bounds from the design of particular algorithms for analyzing circuits.