Subtraction Tautology

Chapter 47

12