Chap. 1 Circuit abstraction