abstract, introduction, example and encoding