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

ex S being one-gate ManySortedSign ex A being one-gate Circuit of S st
( InputVertices S = {F₁(),F₂(),F₃(),F₄(),F₅()} & ( for s being State of A holds (Result s) . (Output S) = F₇((s . F₁()),(s . F₂()),(s . F₃()),(s . F₄()),(s . F₅())) ) )