Same subcomposition as in Vuo 1.2.8