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

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

provided

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