Formal stuff mostly complete.