Direct Compositionality Ostl P door Chris Barker