scheme :: CIRCCMB3:sch 14
Comb1CircResult{ F₁() -> object , F₂() -> non empty finite set , F₃( object ) -> Element of F₂(), F₄() -> finite Signature of F₂(), F₅() -> Circuit of F₂(),F₄(), F₆() -> Function of (1 -tuples_on F₂()),F₂() } :

for s being State of (F₅() +* (1GateCircuit (<*F₁()*>,F₆())))
for s9 being State of F₅() st s9 = s | the carrier of F₄() holds
for a1 being Element of F₂() st ( F₁() in InnerVertices F₄() implies a1 = (Result s9) . F₁() ) & ( not F₁() in InnerVertices F₄() implies a1 = s . F₁() ) holds
(Result s) . (Output (1GateCircStr (<*F₁()*>,F₆()))) = F₃(a1)

provided

A1: for g being Function of (1 -tuples_on F₂()),F₂() holds
( g = F₆() iff for a1 being Element of F₂() holds g . <*a1*> = F₃(a1) ) and
A2: not Output (1GateCircStr (<*F₁()*>,F₆())) in InputVertices F₄()