Title: Programmed Semantics for Composition