Updated; work in progress.