Introduction reworked, Mbeddr subsection extended.