Finish sub-chapter "Predicate Assertions for Better Error Messages" of chapter "More Assertions".