cse20_countability_proofs_slides_aefrank.pdf