discrete_mathematics_with_a.../appendix_b.txt