Reordered definitions.