On ) da | iir V lt |*