Add assumptions after the "relevant for calculating index"

[dgarijo]

Assumptions are listed above, and Yolanda said to move them below. See Cycles for an example