User blog comment:Vel!/A medley of countability proofs/@comment-5029411-20130516233018/@comment-5150073-20130517120031

Better yet, |w_1^CK| = N_0.