Corrected aleph2
As before, but compiles correctly