Added up through Proposition 3.2.2