I've updated this to describe what the ultimate implementation does.