On composability

TODO