The Assertions Explained 1 / 9