Adding rudimentary Aleph test