Circuit formulas. .