and that the assembly posterior pmfs are obtained by composition13