Wrote stuff on internalising the collapsibility optimisation.