Abstract.On any given compact manifold Mn+1with boundary @M, it is proved*
* that the moduli
space E of Einstein metrics on M, if non-empty, is a smooth, infinite dim*
*ensional Banach manifold,
at least when ss1(M, @M) = 0. Thus, the Einstein moduli space is unobstr*
*ucted. The usual
Dirichlet and Neumann boundary maps to data on @M are smooth, but not Fre*
*dholm. Instead,