Added a section on the abstraction process.