scheme :: CIRCCMB3:sch 2
OneGate2Ex{ F₁() -> object , F₂() -> object , F₃() -> non empty finite set , F₄( object , object ) -> Element of F₃() } :

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