A circuit {$U$} that takes two inputs {$f$} and {$x$} -- where {$f$} is itself a description of a circuit! -- and outputs {$f(x)$}. Introduced in V76. Can be used to perform 2PC that hides the choice of function being evaluated.