proof discrete math conditional statements lookup and pivot
Tout plus