change the first sections to some definitions