File:A medley of countability proofs by Vel! (May 10, 2013)