TODO(rsc): Write this document.