List of circuit theorems.