Everything except the final proof has been writtten.