Subtraction Tautology

Chapter 29

13