User blog:FB100Z/A medley of countability proofs