Feature/aleph independence