aleph0^3 = aleph0