Oddity should be added to the right bound, clean up code of u_take