Subtraction Tautology

Chapter 26

13