Comment by higerordermap

I guess first half can be while second half not.