updated aleph sequence.