$x > 0
