1.3.8. Embedding imperatives