Extension-composition conjecture. There is a graded isomorphism, taking total degree on the left-hand side,
