On the compositionality of round abstraction