5g: IntOnIntλ()