Title: Structural embeddings
Subjects: Coding, Proving, Embedding, Mechanization