decompositions of equal sizes work!