aleph 0 * aleph 0