aleph0%5E3 %3D aleph0