Subtraction Tautology

Chapter 31

16