Initial; final version.