We will outline the proof that every separable metric space of dimension n embeds in I^(2n_1). We also will state other embedding and universal space theorems.