eval(Output (lift 3))