Added stuff about abstractions.