abstract7: Add official abstract.
abstract7: Finish.