Lecture 2.1 The ABFT Model