  We give a new proof that bounded non-commutative functions on polynomial
polyhedra can be represented by a realization formula, a generalization of the
transfer function realization formula for bounded analytic functions on the
unit disk.
