Slowly explaining two-step decomposition.
Correlation between task indexes
Assumption definition. Double-spacing. Enumerate package.
Progress on decomp; assumptions still a mess. Moved data to appendix.
Added appendix B with proofs. Needs work, still.