The Rezk completion has now been written.