\indent we present the context and theorems for noncommutative maps, or dimension free maps evaluated on tuples of matrices. this turns out to be much more rigid than functions from the classical commutative case of several complex variables or several real variables. we present some theorems of helton et al on free analytic maps in the context of change of variables.