Finish sub-chapter "Basic Assertions" and "Binary Comparison" of chapter "Assertions".