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

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