Better introduction and definitions.