scheme :: CIRCCMB3:sch 4
OneGate4Ex{ F₁() -> object , F₂() -> object , F₃() -> object , F₄() -> object , F₅() -> non empty finite set , F₆( 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₄()} & ( for s being State of A holds (Result s) . (Output S) = F₆((s . F₁()),(s . F₂()),(s . F₃()),(s . F₄())) ) )