Which is wrong if `y` is not positive.