Chapter 12.2 - align assertions