Introduction ============ TODO. Goals ------ TODO. Non-goals ---------- TODO.