Aleve function

The aleve function is equal to fw_1^CK(n) in the FGH. It is uncomputable.