working on compositionality theorem, but still need to formulate it properly