First-order circuits