If x > 0 then