Explaining model, cleaning up notation and cross-references.