Don't forget aleph