scheme :: CIRCCMB3:sch 12
OneGate4Result{ F₁() -> object , F₂() -> object , F₃() -> object , F₄() -> object , F₅() -> non empty finite set , F₆( object , object , object , object ) -> Element of F₅(), F₇() -> Function of (4 -tuples_on F₅()),F₅() } :

for s being State of (1GateCircuit (<*F₁(),F₂(),F₃(),F₄()*>,F₇()))
for a1, a2, a3, a4 being Element of F₅() st a1 = s . F₁() & a2 = s . F₂() & a3 = s . F₃() & a4 = s . F₄() holds
(Result s) . (Output (1GateCircStr (<*F₁(),F₂(),F₃(),F₄()*>,F₇()))) = F₆(a1,a2,a3,a4)

provided

A1: for g being Function of (4 -tuples_on F₅()),F₅() holds
( g = F₇() iff for a1, a2, a3, a4 being Element of F₅() holds g . <*a1,a2,a3,a4*> = F₆(a1,a2,a3,a4) )