Updated the abstractions section.