Direct Compositionality Ostl C by