more progress
design discipline enforced by circuit constructors