Rewriting of 4.1 and 4.2, added Eric's inverse embedding technique