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.