Subtraction Tautology

Chapter 32

20