complete with correct formatted aleph numbers