Title: Composition by Logic